typescript type definitions